Multi-Partite Graphs and Verification of Software Applications for Real-Time Systems

Safety Verification of Real Time Systems Serving Periodic Devices

In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...

Sustainable Software Systems for Real Time Applications

Foreword .................................................................................................................................. iii Conference Organization ................................................................................................... iv Sustainable Software Systems for Real Time Applications S. Sitharama Iyengar ....................................................

Guideline for Validation & Verification Real-Time Embedded Software Systems

Verification of Embedded Real-Time Systems Using Hardware/Software Cosimulation

This paper presents hardware/software co-simulation and discusses its suitability in the development of realtime systems. Due to the facts that time-to-market challenge has increased the need for shortening the development process, new techniques and methodologies are introduced. A fashionable technique is to use cosimulation environments in the verification phase of a design process. As this t...

Simulation of a Neutron Detector for Real Time Imaging Applications

Monte Carlo Method is used to simulate a double layer gadolinium-amorphous silicon thermal neutron detector. The detector fabricated in pixel array configuration has various applications including neutron imaging. According to the simulation results, a detector consisting of a gadolinium (Gd) film with thickness of 2-4 ~m, sandwiched properly with two layers of sufficiently thick (-30 ?µm) hydr...